O1OOOO1O   Ein Programm hat versucht, unter Kick 3.O mittels
           Procure() oder Vacate() die alten (defekten) Massage-Based
           Semaphores zu verwenden.
---------------------------------------------------------------------